elementarily equivalent classes

elementarily equivalent classes
Математика: элементарно эквивалентные классы

Универсальный англо-русский словарь. . 2011.

Игры ⚽ Поможем написать реферат

Смотреть что такое "elementarily equivalent classes" в других словарях:

  • metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… …   Universalium

  • List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… …   Wikipedia

  • Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… …   Wikipedia

  • Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …   Wikipedia

  • Victoria — /vik tawr ee euh, tohr /; for 3 also Sp. /beek taw rddyah/, n. 1. the ancient Roman goddess of victory, identified with the Greek goddess Nike. 2. 1819 1901, queen of Great Britain 1837 1901; empress of India 1876 1901. 3. Guadalupe /gwahd l oohp …   Universalium

  • Vopěnka's principle — In mathematics, Vopěnka s principle, named after Petr Vopěnka, is a large cardinal axiom.Vopěnka s principle asserts that for every proper class of binary relations (with set sized domain), there is one elementarily embeddable into another.… …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»